Patterns for Model Transformation Specification and Implementation

In this paper we describe standard structures for model transformation specifications and implementations, which serve as patterns for constructing a wide range of model transformations. We use specification patterns to derive relationships between invertibility, change-propagation and the existence of language-level interpretations for transformations that are defined using the pattern. We also consider how these specification patterns can be used to systematically construct implementations for the specifications, and what software patterns (both variations on well-known design patterns, and those specific to the model transformation domain) are particularly relevant to model transformation implementation.